graph theory:acyclic